pred O.O_hC[] {
 /*O*/ 
}

pred O.hC[] {
this.class = O_Class => this.O_hC[] else
this.class = C_Class => this.C_hC[] else
this.class = C1_Class => this.C_hC[] else
this.class = C2_Class => this.C2_hC[] else
this.class = D_Class => this.O_hC[] else
this.class = D1_Class => this.D1_hC[]
}

pred O.C_hC[] {
 /*C*/ 
}

pred O.C2_hC[] {
 /*C2*/ 
}

pred O.D1_hC[] {
 /*D1*/ 
}

